/* File HFPage.java */

package heap;

import java.io.*;
import java.lang.*;

import global.*;
import diskmgr.*;

/** Class heap file page.
 * The design assumes that records are kept compacted when
 * deletions are performed. 
 */

public class THFPage extends HFPage {}

